logik erster stufe